Введите слово для поиска
existential quantifier
Переводы
An existential quantifier is used to express that there is at least one element for which a proposition holds.
Существующий квантор используется, чтобы выразить, что существует хотя бы один элемент, для которого утверждение верно.